The logical study of necessity and possibility
A system of logic whose formal properties resemble certain moral and epistemological concepts
